package entities.axiom;

import java.util.HashSet;
import java.util.Set;

import option.KBVocabulary;

import entities.KBEntity;
import entities.role.Role;

public class RoleTransitiveAxiom extends RoleAxiom {

	private final Role tr;
	
	public RoleTransitiveAxiom(Role tr){
		this.tr = tr;
	}
	
	public Role getTransRole(){
		return this.tr;
	}
	
	@Override
	public Axiom getPrimeCopy() {
		return new RoleTransitiveAxiom(this.tr.getPrimeCopy());
	}
	@Override
	public String toString(){
		return "("+KBVocabulary.ROLE_TRANS+" "
				+tr.toSerializedString()+")";
	}
	@Override 
	public Set<KBEntity> extractSig(){
		Set<KBEntity> sig = new HashSet<KBEntity>();
		sig.addAll(tr.extractSig());
		return sig;
	}
}
